随机测定算法

本文研究计算机网的广播信道中测定算法结合使用随机预测树形算法的问题,并提出了一种高效算法。文章还应用随机过程理论推导了这种算法的有关分布和定理。业已证明,该算法是稳定的,并且有极高的吞吐率和良好的时延特性。仿真实验结果证实了理论上的结论。     

更新理论在机械系统可靠性计算中的应用

耗损型的机械系统的可靠性随着工作时间的增加而变得越来越差。对机械系统的可靠性进行预测和分配或采取相应的维修策略以缩短系统停机时间和减少系统维修费用,是一个需要解决的问题。作者以更新理论作为基础知识,建立了已工作过一定时期的机械系统在未来一段任务时间内的可靠性计算模型,为解决该问题提供了理论依据。     

一类扩散过程的最优停止

金融数学中关于美式期权的定价理论最后归结为一个对扩散过程的最优停止问题,扩散过程是特殊的马氏过程,本文讨论了当报酬函数非负时的值函数性质及其最优停时的表示。特别对带折扣的报酬的讨论,更加符合金融数学的需要     

Dynamic server assignment policies for assembly‐type queues with flexible servers

We seek dynamic server assignment policies in finite‐capacity queueing systems with flexible and collaborative servers, which involve an assembly and/or a disassembly operation. The objective is to maximize the steady‐state throughput. We completely characterize the optimal policy for a Markovian system with two servers, two feeder stations, and instantaneous assembly and disassembly operations. This optimal policy allocates one server per station unless one of the stations is blocked, in which case both servers work at the unblocked station. For Markovian systems with three stations and instantaneous assembly and/or disassembly operations, we consider similar policies that move a server away from his/her “primary” station only when that station is blocked or starving. We determine the optimal assignment of each server whose primary station is blocked or starving in systems with three stations and zero buffers, by formulating the problem as a Markov decision process. Using this optimal assignment, we develop heuristic policies for systems with three or more stations and positive buffers, and show by means of a numerical study that these policies provide near‐optimal throughput. Furthermore, our numerical study shows that these policies developed for assembly‐type systems also work well in tandem systems. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

Choosing arrival process models for service systems: Tests of a nonhomogeneous Poisson process

Service systems such as call centers and hospital emergency rooms typically have strongly time‐varying arrival rates. Thus, a nonhomogeneous Poisson process (NHPP) is a natural model for the arrival process in a queueing model for performance analysis. Nevertheless, it is important to perform statistical tests with service system data to confirm that an NHPP is actually appropriate, as emphasized by Brown et al. [8]. They suggested a specific statistical test based on the Kolmogorov–Smirnov (KS) statistic after exploiting the conditional‐uniform (CU) property to transform the NHPP into a sequence of i.i.d. random variables uniformly distributed on [0,1] and then performing a logarithmic transformation of the data. We investigate why it is important to perform the final data transformation and consider what form it should take. We conduct extensive simulation experiments to study the power of these alternative statistical tests. We conclude that the general approach of Brown et al. [8] is excellent, but that an alternative data transformation proposed by Lewis [22], drawing upon Durbin [10], produces a test of an NHPP test with consistently greater power. We also conclude that the KS test after the CU transformation, without any additional data transformation, tends to be best to test against alternative hypotheses that primarily differ from an NHPP only through stochastic and time dependence. © 2014 Wiley Periodicals, Inc. Naval Research Logistics 61: 66–90, 2014     

Application of Markov renewal theory and semi-Markov decision processes in maintenance modeling and optimization of multi-unit systems

In this paper, a condition-based maintenance model for a multi-unit production system is proposed and analyzed using Markov renewal theory. The units of the system are subject to gradual deterioration, and the gradual deterioration process of each unit is described by a three-state continuous time homogeneous Markov chain with two working states and a failure state. The production rate of the system is influenced by the deterioration process and the demand is constant. The states of the units are observable through regular inspections and the decision to perform maintenance depends on the number of units in each state. The objective is to obtain the steady-state characteristics and the formula for the long-run average cost for the controlled system. The optimal policy is obtained using a dynamic programming algorithm. The result is validated using a semi-Markov decision process formulation and the policy iteration algorithm. Moreover, an analytical expression is obtained for the calculation of the mean time to initiate maintenance using the first passage time theory.     

ARMED NON-STATE ACTORS IN AFRICA AND THE BAN ON ANTI-PERSONNEL LANDMINES

A truly universal ban on anti-personnel mines cannot be realized without engagement of armed non-state actors and armed groups operating outside state control, including rebels and national liberation movements. Events after 9/11 have complicated engagement with organizations that can be classified as ‘terrorists’. Yet, the use of anti-personnel landmines itself can be viewed as an act of terrorism and African leaders have, on various occasions, classified the use of landmines and the presence of unexploded ordnance as engendering insecurity and a serious impediment to development. The success of a total ban ultimately depends upon ensuring that armed non-state actors act in accordance with international humanitarian law. The Geneva Call Deed of Commitment for Adherence to a Total Ban on Anti-Personnel Mines and for Cooperation in Mine Action (DoC) might be described as an alternative instrument to the Anti-Personnel Mine Ban Convention and can serve an important and impartial channel of communication with non-state actors. Already 18 armed groups in Africa have signed the Geneva Call DoC.     

Demand forecasting by temporal aggregation

Demand forecasting performance is subject to the uncertainty underlying the time series an organization is dealing with. There are many approaches that may be used to reduce uncertainty and thus to improve forecasting performance. One intuitively appealing such approach is to aggregate demand in lower‐frequency “time buckets.” The approach under concern is termed to as temporal aggregation, and in this article, we investigate its impact on forecasting performance. We assume that the nonaggregated demand follows either a moving average process of order one or a first‐order autoregressive process and a single exponential smoothing (SES) procedure is used to forecast demand. These demand processes are often encountered in practice and SES is one of the standard estimators used in industry. Theoretical mean‐squared error expressions are derived for the aggregated and nonaggregated demand to contrast the relevant forecasting performances. The theoretical analysis is supported by an extensive numerical investigation and experimentation with an empirical dataset. The results indicate that performance improvements achieved through the aggregation approach are a function of the aggregation level, the smoothing constant, and the process parameters. Valuable insights are offered to practitioners and the article closes with an agenda for further research in this area. © 2013 Wiley Periodicals, Inc. Naval Research Logistics 60: 479–498, 2013     

固体推进剂裂纹摩擦热点形成细观模型分析

分析机械撞击载荷作用下复合固体推进剂内部裂纹摩擦形成热点过程。研究在压应力与剪切应力作用下闭合裂纹滑移、扩展、摩擦生热、热扩散、推进剂热分解及与气相产物相互作用。利用断裂力学、热传导、推进剂热分解动力学方法,建立裂纹摩擦热点细观模型。通过模型数值计算,探讨推进剂裂纹摩擦产生高温热点的过程和条件。分析计算表明裂纹摩擦和扩展可导致推进剂形成高温热点。     

低温推进剂供应管道系统充填过程的动力学模型

研究了低温推进剂液体火箭发动机供应管道系统充填过程的建模问题。低温推进剂的充填相变过程采用均相模型,对推进剂充填管道系统进行有限元分割,应用基本守恒定律于充满推进剂的单元和充满气体的单元,两相单元采用等效流容方程,建立了低温推进剂管道充填过程的有限元状态变量模型。充填的容腔视为两相单元,建立了其动力学模型。利用本文的模型,对液氢、液氧推进剂的管道充填过程进行了仿真计算,给出了有关计算结果。